Northeastern University - PDFSEARCH.IO - Document Search Engine

Northeastern University
Results: 1569

#	Item
351	Functional Data Structures for Typed Racket Hari Prashanth and Sam Tobin-Hochstadt Northeastern University 1 Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:49:03
352	A family of abstract interpretations for static analysis of concurrent higher-order programs Matthew Might and David Van Horn University of Utah and Northeastern University and http Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-06-14 01:17:52
353	MATTHEW C. NISBET ASSOCIATE PROFESSOR NORTHEASTERN UNIVERSITY\| BOSTON, MA \| C: Add to Reading List Source URL: climateshiftproject.org Language: English - Date: 2015-04-10 09:21:32
354	Space-Efficient Gradual Typing David Herman Northeastern University Aaron Tomb, Cormac Flanagan University of California, Santa Cruz Add to Reading List Source URL: www.ccs.neu.edu - Date: 2007-10-16 08:19:04
355	Rethinking web content distribution in the social media era Alan Mislove, Northeastern University Changing workload patterns To more closely examine these trends, we examine a data set on the photos exchanged by 63,731 u Add to Reading List Source URL: dmlab.cs.umn.edu Language: English - Date: 2012-02-01 13:51:20
356	A Few Principles of Macro Design David Herman David Van Horn Northeastern University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:23
357	NORTHEASTERN UNIVERSITY CREATIVE INDUSTRIES IM 1110 Interactive Media and Society Spring Term, Wed. & Fri. 11:45 am – 1:25 pm, January 9 – April 17, 2013 Add to Reading List Source URL: world.std.com Language: English - Date: 2013-05-17 22:07:09
358	Microsoft Word - CECSFinalRep2Sept05.doc Add to Reading List Source URL: uwaterloo.ca Language: English - Date: 2013-05-15 15:33:55 Internships Northeastern University Pedagogy Rochester Institute of Technology University of Waterloo Ontario Co-operative Association Consumer cooperative Education Learning Cooperative education
359	Pushdown Flow Analysis of First-Class Control Dimitris Vardoulakis Olin Shivers Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-09-19 12:06:16 Control flow Models of computation Subroutines Recursion Scheme programming language Tail call Stack Data-flow analysis State Software engineering Computer programming Computing
360	A Blame for All (revised) Amal Ahmed, Northeastern University James T. Perconti, Northeastern University Jeremy G. Siek, Indiana University Philip Wadler, University of Edinburgh Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-08-14 08:06:44 Lambda calculus Computer science Fixed-point combinator Simply typed lambda calculus Typed lambda calculus Polymorphism System F Type system Type safety Theoretical computer science Mathematics Type theory

UPDATE